Ph.D. First Year Report

Francesco Leotta – Ph.D. course first year report

First Year Ph.D. Report: Argumentation on the Social Semantic Web

Ph . D . Progress Report - - - Report # 2

This report summarizes my Ph.D. research progress from March 2001 to March 2002. This time period corresponds to part of the third and fourth year of my Ph.D. candidacy. As stated in my first report, the goal of my Ph.D. research is to create an efficient FPGA architecture for datapath circuits. My research methodology is empirical and consists of three phases, two of which have been completed ...

Francesco Leotta – Ph.D. course second year report

Ph.D. Project Proposal

In this document I will lay out a possible PhD project in Automated Reasoning, discussing the principle objectives, some implementation ideas, and alternative lines of research if unexpected obstacles arise. The aim is that this plan will be sufficiently detailed to serve as proof of concept for the project. The overall project goal is to make it easier to prove theorems of mathematics using an...